Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
591	PDF Document Add to Reading List Source URL: www.nsa.gov Language: English - Date: 2013-01-16 14:16:27 Software Software design Programming paradigms Edward Yourdon Software development methodology Systems engineering process National Security Agency Software development process Modular programming Computing Software development Systems analysis
592	Yii Yii (extends YiiBase) Static Methods app() /gets the application instance / t($category, $message, $params=array ( ), Add to Reading List Source URL: static.yiiframework.com Language: English - Date: 2010-10-09 10:24:49 Programming paradigms SQL Null Array programming Array data type Computing Software engineering Data management
593	P1: FYX/FYX P2: FYX/ABE CB465-Mitchell-FM Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-08-24 16:43:29 Programming paradigms Procedural programming languages Cross-platform software Data types Object-oriented programming Programming language Lisp Imperative programming Fortran Software engineering Computing Computer programming
594	Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012 Abstract Graphical user interfaces (GUIs) mediate almost all of our interactions with computers, Add to Reading List Source URL: elm-lang.org Language: English - Date: 2014-12-10 05:09:29 Evaluation strategy Functional programming Functional reactive programming Reactive programming Graphical user interface GUI widget Purely functional User interface JavaScript Software engineering Computing Programming paradigms
595	System Analysis & Design Chapter IV: System Development Methods 1. Structured Analysis, Design, and programming -The ERD (Entity-Relationship Diagram) is presented to define and clarify entities, attributes, and their Add to Reading List Source URL: www.worldbestlearningcenter.com Language: English - Date: 2013-03-19 01:01:19 Systems theory Computing Software development Programming paradigms Information systems Structured analysis Structure chart Structured programming Object-oriented design Software design Systems analysis Design
596	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
597	RudolF: An Open-Source Sandbox for increasing the accessibility of Functional Programming to the Bioinformatics and Scientific Communities Matthew Fenwick, Colbert Sesanker, Martin Schiller, Heidi JC Ellis, M. Lee Hinman Add to Reading List Source URL: writequit.org Language: English - Date: 2011-12-09 10:58:34 Functional languages Cross-platform software Mathematical and theoretical biology Higher-order functions Clojure Programming paradigms Bioinformatics Lisp BioJava Computing Software engineering Computer programming
598	An Interval Classifier Rakesh Agrawal Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:45:10 Computing Data Relational model Programming paradigms Information gain ratio Relational database Tuple Supervised learning Relation Machine learning Mathematics Decision trees
599	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2006-03-02 05:17:31 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
600	An Interface between Single Assignment C and Vector Pascal Bin Li July[removed]A Dissertation Submitted for the Degree of Master of Philosophy Add to Reading List Source URL: theses.gla.ac.uk Language: English - Date: 2012-12-10 08:15:52 Programming paradigms Parallel computing Procedural programming languages Compiler optimizations Array programming languages Pascal Vectorization SIMD Array programming Computing Software engineering Computer programming

UPDATE